first-order logic

Không tìm thấy từ nào gần giống "first-order logic"